find the principal value of cos inverse minus 1 by root 2